<HTML>
<HEAD>
<!-- This HTML file has been created by texi2html 1.29
     from type.tnf on 19 December 2010 -->

<TITLE>Type Analysis - Table of Contents</TITLE>
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000EE" VLINK="#551A8B" ALINK="#FF0000" BACKGROUND="gifs/bg.gif">
<TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0" VALIGN=BOTTOM>
<TR VALIGN=BOTTOM>
<TD WIDTH="160" VALIGN=BOTTOM>
<A HREF="http://eli-project.sourceforge.net/">
<IMG SRC="gifs/elilogo.gif" BORDER=0>
</A>&nbsp;
</TD>
<TD WIDTH="25" VALIGN=BOTTOM>
<img src="gifs/empty.gif" WIDTH=25 HEIGHT=25>
</TD>
<TD ALIGN=LEFT WIDTH="475" VALIGN=BOTTOM>
<A HREF="index.html"><IMG SRC="gifs/title.png" BORDER=0></A>
</TD>
<!-- |DELETE FOR SOURCEFORGE LOGO|
<TD>
<a href="http://sourceforge.net/projects/eli-project">
<img
  src="http://sflogo.sourceforge.net/sflogo.php?group_id=70447&amp;type=13"
  width="120" height="30"
  alt="Get Eli: Translator Construction Made Easy at SourceForge.net.
    Fast, secure and Free Open Source software downloads"/>
</a>
</TD>
|DELETE FOR SOURCEFORGE LOGO| -->
</TR>
</TABLE>

<HR size=1 noshade width=785 align=left>
<TABLE BORDER=0 CELLSPACING=2 CELLPADDING=0>
<TR>
<TD VALIGN=TOP WIDTH="160">
<h4>General Information</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="index.html">Eli: Translator Construction Made Easy</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="gindex_1.html#SEC1">Global Index</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="faq_toc.html" >Frequently Asked Questions</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="ee.html" >Typical Eli Usage Errors</a> </td></tr>
</table>

<h4>Tutorials</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="EliRefCard_toc.html">Quick Reference Card</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="novice_toc.html">Guide For new Eli Users</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="news_toc.html">Release Notes of Eli</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="nametutorial_toc.html">Tutorial on Name Analysis</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="typetutorial_toc.html">Tutorial on Type Analysis</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="ee.html" >Typical Eli Usage Errors</a> </td></tr>
</table>

<h4>Reference Manuals</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="ui_toc.html">User Interface</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="pp_toc.html">Eli products and parameters</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="lidoref_toc.html">LIDO Reference Manual</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="ee.html" >Typical Eli Usage Errors</a> </td></tr>
</table>

<h4>Libraries</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="lib_toc.html">Eli library routines</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="modlib_toc.html">Specification Module Library</a></td></tr>
</table>

<h4>Translation Tasks</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="lex_toc.html">Lexical analysis specification</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="syntax_toc.html">Syntactic Analysis Manual</a></td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="comptrees_toc.html">Computation in Trees</a></td></tr>
</table>

<h4>Tools</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="lcl_toc.html">LIGA Control Language</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="show_toc.html">Debugging Information for LIDO</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="gorto_toc.html">Graphical ORder TOol</a> </td></tr>
</table>
<p>
<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="fw_toc.html">FunnelWeb User's Manual</a> </td></tr>
</table>
<p>
<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="ptg_toc.html">Pattern-based Text Generator</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="deftbl_toc.html">Property Definition Language</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="oil_toc.html">Operator Identification Language</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="tp_toc.html">Tree Grammar Specification Language</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="clp_toc.html">Command Line Processing</a> </td></tr>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="cola_toc.html">COLA Options Reference Manual</a> </td></tr>
</table>
<p>
<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="idem_toc.html">Generating Unparsing Code</a> </td></tr>
</table>
<p>
<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="mon_toc.html">Monitoring a Processor's Execution</a> </td></tr>
</table>

<h4>Administration</h4>

<table BORDER=0 CELLSPACING=0 CELLPADDING=0>
<tr valign=top><td><img src="gifs/gelbekugel.gif" WIDTH=7 HEIGHT=7 ALT=" o"> </td><td><a href="sysadmin_toc.html">System Administration Guide</a> </td></tr>
</table>

<HR WIDTH="100%">
<A HREF="mailto:eli-project-users@lists.sourceforge.net">
<IMG SRC="gifs/button_mail.gif" BORDER=0 ALIGN="left"></A>
<A HREF="index.html"><IMG SRC="gifs/home.gif" BORDER=0 ALIGN="right"></A>

</TD>
<TD VALIGN=TOP WIDTH="25"><img src="gifs/empty.gif" WIDTH=25 HEIGHT=25></TD>

<TD VALIGN=TOP WIDTH="600">
<A HREF="type.pdf"><IMG SRC="gifs/pdficon_large.gif" ALT="Open PDF File" BORDER="0" ALIGN=RIGHT></A>
<H1>Type Analysis</H1>
<P>
The modules of the type analysis library define a comprehensive collection
of computational roles that can be played by the symbols and rules of a
LIDO grammar.
This document is a reference manual for these roles; for a tutorial, see
 <A HREF="typetutorial_toc.html">Top of Tutorial on Type Analysis</A>.
<P>
<P>
<UL>
<LI><A NAME="SEC1" HREF="type_1.html#SEC1">Overview</A>
<LI><A NAME="SEC2" HREF="type_2.html#SEC2">Types, Operators, and Indications</A>
<UL>
<LI><A NAME="SEC3" HREF="type_2.html#SEC3">Language-defined types</A>
<LI><A NAME="SEC4" HREF="type_2.html#SEC4">Language-defined operators</A>
<LI><A NAME="SEC5" HREF="type_2.html#SEC5">Language-defined indications</A>
<LI><A NAME="SEC6" HREF="type_2.html#SEC6">Language-defined coercibility</A>
<LI><A NAME="SEC7" HREF="type_2.html#SEC7">Reducing specification size</A>
</UL>
<LI><A NAME="SEC8" HREF="type_3.html#SEC8">Typed Entities</A>
<UL>
<LI><A NAME="SEC9" HREF="type_3.html#SEC9">Establishing the type of an entity</A>
<LI><A NAME="SEC10" HREF="type_3.html#SEC10">Accessing the type of an entity</A>
<LI><A NAME="SEC11" HREF="type_3.html#SEC11">Passing ancillary information</A>
</UL>
<LI><A NAME="SEC12" HREF="type_4.html#SEC12">Expressions</A>
<UL>
<LI><A NAME="SEC13" HREF="type_4.html#SEC13">Type analysis of expression trees</A>
<LI><A NAME="SEC14" HREF="type_4.html#SEC14">Selecting an operator at an expression node</A>
<LI><A NAME="SEC15" HREF="type_4.html#SEC15">Expression contexts without operators</A>
<LI><A NAME="SEC16" HREF="type_4.html#SEC16">Operators with explicit operands</A>
<LI><A NAME="SEC17" HREF="type_4.html#SEC17">Operators with operand lists</A>
<LI><A NAME="SEC18" HREF="type_4.html#SEC18">Type conversion</A>
</UL>
<LI><A NAME="SEC19" HREF="type_5.html#SEC19">User-Defined Types</A>
<UL>
<LI><A NAME="SEC20" HREF="type_5.html#SEC20">Type denotations</A>
<LI><A NAME="SEC21" HREF="type_5.html#SEC21">Type identifiers</A>
<LI><A NAME="SEC22" HREF="type_5.html#SEC22">Referring to a type</A>
<LI><A NAME="SEC23" HREF="type_5.html#SEC23">Operator, function, and method definitions</A>
<LI><A NAME="SEC24" HREF="type_5.html#SEC24">Reducing specification size</A>
</UL>
<LI><A NAME="SEC25" HREF="type_6.html#SEC25">Structural Type Equivalence</A>
<UL>
<LI><A NAME="SEC26" HREF="type_6.html#SEC26">Paritioning the set of types</A>
<LI><A NAME="SEC27" HREF="type_6.html#SEC27">Computing equivalence classes</A>
<LI><A NAME="SEC28" HREF="type_6.html#SEC28">Functions as typed entities</A>
</UL>
<LI><A NAME="SEC29" HREF="type_7.html#SEC29">Error Reporting in Type Analysis</A>
<UL>
<LI><A NAME="SEC30" HREF="type_7.html#SEC30">Verifying typed identifier usage</A>
<LI><A NAME="SEC31" HREF="type_7.html#SEC31">Verifying type identifier usage</A>
<LI><A NAME="SEC32" HREF="type_7.html#SEC32">Verifying type consistency within an expression</A>
<LI><A NAME="SEC33" HREF="type_7.html#SEC33">Support for context checking</A>
</UL>
<LI><A NAME="SEC34" HREF="type_8.html#SEC34">Dependence in Type Analysis</A>
<UL>
<LI><A NAME="SEC35" HREF="type_8.html#SEC35">Dependences among types and type identifiers</A>
<LI><A NAME="SEC36" HREF="type_8.html#SEC36">Dependence on structural equivalence</A>
<LI><A NAME="SEC37" HREF="type_8.html#SEC37">Dependence on the operator database</A>
<LI><A NAME="SEC38" HREF="type_8.html#SEC38">Dependences for typed entities</A>
</UL>
<LI><A NAME="SEC39" HREF="type_9.html#SEC39">Index</A>
<UL>
<LI><A NAME="SEC40" HREF="type_9.html#SEC40">Symbol roles</A>
<LI><A NAME="SEC41" HREF="type_9.html#SEC41">Rule computations</A>
<LI><A NAME="SEC42" HREF="type_9.html#SEC42">Attributes</A>
<LI><A NAME="SEC43" HREF="type_9.html#SEC43">General concepts</A>
</UL>
</UL>
<HR size=1 noshade width=600 align=left>
</TD>
</TR>
</TABLE>

</BODY></HTML>
